可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于MEKF的航天器姿态确定算法

乘性扩展卡尔曼滤波(multiplicative extended Kalman filter, MEKF)方法被广泛应用于各种航天器姿态确定任务。针对任意参考坐标系,推导了姿态四元数的线性运动学方程和三分量姿态误差矢量的动力学模型,并分别设计了有陀螺和无陀螺两种姿态确定方案。系统研究了姿态敏感器常用的矢量观测模型,四元数观测模型以及欧拉角观测模型,设计了更具有一般性的MEKF滤波器,为航天任务中快速应用MEKF姿态确定算法提供理论参考和技术支撑。     

气象探空火箭气温测量不确定度评估方法

在气象火箭测温修正模型基础上,通过误差分析理论,对温度修正及其不确定度评估方法进行研究。根据火箭探空仪在空中下落过程中大气密度变化规律,建立温度修正数学模型,推导得到温度修正公式。根据误差理论,分析影响温度修正的八项误差因素,并逐项给出温度修正误差表达式。以气象火箭实测数据为例,运用上述公式,对探空火箭温度反演不确定度进行分析计算。结果表明:温度反演不确定度在50~60 km较大,最大为3.6 K;40~50 km不确定度为0.3~0.9 K;40 km以下,不大于0.3 K。影响温度不确定度的因素主要是气动加热修正项、滞后效应修正项、结构热传导修正项和传感器对环境热辐射修正项。数据处理时采用参考大气或标准大气仅进行一次修正是不够的,需进行迭代修正,单次修正结果与迭代修正结果差异最大可达5.6 K。     

某型履带车辆稳态噪声的分析与控制

对某型履带车辆稳态噪声的试验数据进行了曲线拟合,根据拟合结果分析了履带车辆行驶参数和路面状况对噪声的影响,并依经验提出了降低噪声的措施和方法.     

发动机缸内压缩压力非接触式检测方法研究

发动机汽缸压缩压力是检测发动机机密封性的重要参数.发动机密封性降低,会造成发动机经济性、动力性下降及废气排放指标恶化,因此对各缸压缩压力的检测具有重要意义.现提出一种利用曲轴瞬时转速,进行不解体检测坦克发动机汽缸压缩压力的方法.通过实车测量获得缸压及转速的特征参数,利用灰色理论模型的方法建立了发动机转速脉动与汽缸压缩压力的数学关系.试验结果表明,利用这种方法进行缸内压缩压力测量是可行的.     

弹药弹体尺寸自动测量系统

在对某系列特种弹药的弹体结构尺寸分析和归类的基础上,详细阐述了弹体几何尺寸的测量原理,并结合工厂的实际,采用激光位移传感器和计算机自动控制技术,实现了弹体的关键尺寸的数字化测量与评价。实际应用表明该系统可以有效地提高弹体尺寸的测量精度并定量评价弹体的尺寸误差,内外径和同轴度的测量精度可达10μm以内,外长的测量精度可达100μm以内,能有效地指导加工的工艺流程和加工的尺寸精度控制。     

基于空间直线检测的地面火炮瞄准线偏移检测方法

依据瞄准线偏移的定义,分析了高低瞄准过程中瞄准线偏移的来源和已有的检测方法,提出了基于空间直线检测的地面火炮瞄准线偏移检测方法,并对检测原理进行论证。     

网络性能综合评估方法IEMoNP的设计和实现

由于孤立的网络性能指标(测度)不能满足全局性或整体性网络性能评估的需要,文中给出了网络性能综合指数IPI和网络运行稳定性指数SI的概念、定义和计算公式.IPI和SI反映了相对基准时刻的网络性能状况.在此基础上,进一步提出了基于IPI和SI的网络性能综合评估方法IEMoNP.最后,通过一个应用示例表明,IEMoNP能够为全局性或整体性的网络性能评估提供支持.     

一种改进的强跟踪滤波算法的推导及仿真验证

针对一般强跟踪滤波算法(STEKF)在光纤陀螺动态输出滤波过程中存在跟踪效果不好的缺陷,分析推导一种新的强跟踪滤波算法(ISTEKF),使其能够克服原先算法存在的缺陷,并利用光纤陀螺动态输出数据进行仿真验证,滤波结果表明ISTEKF算法能够达到很好的跟踪效果,且具有较强的自适应能力。     

基于编队结构特征的海面舰船目标关联方法

为综合利用星载光学成像、星载电子侦察数据对海面舰船编队进行监测,提出了一种基于舰船编队结构特征的二次匹配目标关联算法,通过构造加权二分图进行最优匹配求解。仿真结果表明,该方法在目标定位精度差别较大、目标存在漏检测等情况下相比传统关联算法的匹配正确率有较大提高,证明了算法的有效性。